8.3 Principle of Extended Mathematical Induction